Regular Linear-time Temporal Logic Martin Leucker Institut f¨ur Informatik TU M¨unchenGarching, Germany Email:

Source URL: software.imdea.org

• Formal languages
• Logic in computer science
• Complexity classes
• Automata theory
• Temporal logic
• Linear temporal logic
• Modal logic
• Dynamic logic
• Model checking
• Theoretical computer science
• Mathematics
• Logic

A Temporal Logic for Hyperproperties Bernd Finkbeiner1 , Markus N. Rabe1 , and César Sánchez2,

Source URL: software.imdea.org

• Mathematics
• Linear temporal logic
• CTL*
• Interpretation
• Computation tree logic
• Kripke structure
• Well-formed formula
• Quantification
• Model theory
• Logic
• Mathematical logic
• Temporal logic

Efficient Regular Linear Temporal Logic using Dualization and Stratification C´esar S´anchez IMDEA Software Institute, Madrid, Spain Institute for Applied Physics, CSIC, Spain Email:

Source URL: software.imdea.org

Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.eu

Source URL: www.spacios.eu

• Model-based testing
• Model theory
• Linear temporal logic
• Temporal logic
• Model checking

How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1

Source URL: software.imdea.org

• Computer science
• Ω-automaton
• Deterministic finite automaton
• Nondeterministic finite automaton
• Linear temporal logic
• Finite-state machine
• Symbol
• Büchi automaton
• Automata theory
• Theoretical computer science
• Formal methods

The Polyhedral Model Definitions Operations on Polyhedra Quantifier Elimination and SMT solvers Last Words

Source URL: labexcompilation.ens-lyon.fr

• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Compiler optimizations
• Polyhedron
• Satisfiability Modulo Theories
• Boolean satisfiability problem
• Linear programming
• Theoretical computer science
• Mathematics
• Applied mathematics

Sessions as Propositions Sam Lindley and J. Garrett Morris The University of Edinburgh {Sam.Lindley,Garrett.Morris}@ed.ac.uk Abstract Recently, Wadler presented a continuation-passing translation from a session-typed

Source URL: homepages.inf.ed.ac.uk

• Mathematical logic
• Universal quantification
• Uniform space
• Linear temporal logic
• Μ operator
• Mathematics
• Function
• Topology

BRICS Basic Research in Computer Science BRICS RSCurien et al.: Bistructures, Bidomains and Linear Logic Bistructures, Bidomains and Linear Logic

Source URL: www.brics.dk

Linear Temporal Logic and Linear Dynamic Logic on Finite Traces Giuseppe De Giacomo Sapienza Universit`a di Roma Roma, Italy

Source URL: www.cs.rice.edu

Under consideration for publication in Math. Struct. in Comp. Science Classical Linear Logic of Implications MASAHITO HASEGAWA Research Institute for Mathematical Sciences, Kyoto University, KyotoJapan and

Source URL: www.kurims.kyoto-u.ac.jp